Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
251	Curriculum Vitae and Research Statement Dr. Alexandre Riazanov (Alexander Ryazanov1 ) Saint John, NB, Canada Add to Reading List Source URL: riazanov.webs.com Language: English Automated theorem proving Semantic Web Searching Term indexing Vampire Reasoning E theorem prover Automated reasoning Ontology Science Theoretical computer science Information science
252	UNIVERSITY OF MASSACHUSETTS AMHERST Resource-Bounded Reasoning Lab Contact Information Computer Science Building University of Massachusetts Add to Reading List Source URL: anytime.cs.umass.edu Language: English - Date: 2011-02-22 15:07:18 Anytime algorithm Agent-based model Multi-agent planning Computing Automated planning and scheduling Reinforcement learning Computational intelligence Artificial intelligence Multi-agent systems Science
253	The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and Software Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:49 Computer science Logic in computer science Formal methods Artificial intelligence Automated reasoning Conference on Automated Deduction International Joint Conference on Automated Reasoning Theoretical computer science Applied mathematics Automated theorem proving
254	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
255	Noname manuscript No. (will be inserted by the editor) A two-level logic approach to reasoning about computations Andrew Gacek · Dale Miller · Gopalan Nadathur Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-25 14:38:54 Model theory Proof theory Automated theorem proving Formal languages Propositional calculus Interpretation Sequent calculus Symbol Substitution Logic Mathematical logic Mathematics
256	Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-01-20 13:14:01 Computer science Logic in computer science Reasoning Artificial intelligence Automated reasoning Max Planck Institute for Computer Science Logic programming International Joint Conference on Automated Reasoning Federated Logic Conference Theoretical computer science Applied mathematics Automated theorem proving
257	School of Computer Science and IT Editor: Dr Jon Garibaldi Automated Scheduling, Optimisation and Planning (ASAP) Research Group School of Computer Science and Information Technology The University of Nottingham Add to Reading List Source URL: www.asap.cs.nott.ac.uk Language: English - Date: 2012-03-24 15:11:14 Applied mathematics Mathematical optimization Reasoning Problem solving Automated theorem proving Hyper-heuristic Graham Kendall Memetic algorithm Reasoning system Science Operations research Artificial intelligence
258	Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:36:05 Science Logic in computer science Automated theorem proving Reasoning Formal verification Computer science Reasoning system Hardware description language Communications protocol Formal methods Artificial intelligence Theoretical computer science
259	A Universal Automated Information System for Science and Technology Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. [removed] http://gtps.math.cmu.edu/andrews.html Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2011-01-31 14:57:26 Automated theorem proving Mathematical logic Reasoning Logical syntax Formal methods Reasoning system Automated reasoning Formal proof Theorem Logic Mathematics Science
260	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax

UPDATE